mechanism of ATP synthase